/* Make the text editor has a nice style */
.view {
    color: #2e3436;
    font: 16px "宋体";
    background-color: alpha(white, 0.30);
}

.view:selected {
    color: white;
    background-color: #4a90d9;
}

.scrollbar.trough,
.scrollbars-junction {
    background-color: alpha(white, 0.80);
}

.scrollbar.slider {
    border-width: 3px;
    border-style: solid;
    border-radius: 10px;
    border-color: transparent;
    background-clip: padding-box;
    background-color: #999;
}

/*.scrollbar.slider:prelight {*/
.scrollbar.slider:hover{
    background-color: #555;
}

.pane-separator {
    background-color: alpha(white, 0.80);
    background-image: linear-gradient(transparent, transparent 1px, #999 1px, #999 4px, transparent 4px);
    background-image: none;
    background-size: 40px auto;
    background-repeat: no-repeat;
    background-position: center;
}

.pane-separator:hover{
    background-image: linear-gradient(transparent, transparent 1px, #555 1px, #555 4px, transparent 4px);
}
